OBDD相关论文
为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统......
在元组独立的概率数据库中根据不等式的结构特性,不等式查询语句被分为三类:路径类型、树类型和图类型,针对现有secondary-storage......
由于传统的组合电路测试方法 ,如 D算法、PODEM算法和 FAN算法等 ,在搜索过程中都不可避免地要进行反向回溯 ,因此严重地影响了算......
施工系统的可靠性评估有助于减少项目风险、优化工程目标.文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图(O......
有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法......
OBDD是一种表示和操纵布尔函数的有效方法.由于许多布尔运算都可以转换为OBDD图的运算,因此,OBDD在集成电路设计领域,如逻辑综合、......
在数字集成电路设计过程中,为了实现已有组件的复用,文章提出了一种基于多项式表示法的组件匹配算法.通过要求实现功能的多项式表......
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模......
符号模型检验把有序二叉判定图OBDD技术引入到模型检验中,有效地缓解了状态组合爆炸问题.文章主要介绍了CTL模型检验基本概念和原......
割集生成算法和子图过滤算法是基于割集的装配序列规划的基础，本文通过分析不同基本割集组合之间的关系，设计了更合理的割集生成算法......
传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用......
拆卸序列的紧凑表示是拆卸序列的评价与优化的基础，AND—OR图是拆卸序列表示的一种典型方法，但是拆卸序列的AND—OR图表示模型存在冗......
施工系统的可靠性评估有助于减少项目风险、优化工程目标。文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图（O......
异步时序电路的测试一直是一个比较困难的问题.该文通过在前人研究的基础上,提出了一种实用、高效的自动测试生成方法.该方法通过......
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证......
根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型.采用OBDD的符号操作对装配操作的可能性和有效性进行......
根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-O rdered B inary D ec is ion ......
描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上......
针对模式匹配算法硬件实现过程中成本高的问题,提出一种基于OBDD的模式匹配算法。该算法通过OBDD刻画所有模式串,利用OBDD技术的S-......
状态爆炸是模型检验需解决的一个关键问题．基于GPVW算法，以及从LTL公式导出识别该公式的Bachi自动机，用OBDD符号表示，通过符号操作求解......
为了提高微处理器环境中数据处理速度及内存利用率,提出一种基于静态二叉链表结构的OBDD操作算法。该算法以节点四元化属性值作为......
摘要：总结了进行网络可靠性分析的一般步骤，比较了传统的网络分析方法的优缺点，重点论述了一种基于有序二叉决策图的方法，在考虑失效节......
基于内容的Pub／Sub系统的核心问题是基于内容的事件匹配．在现有的方法中，订阅者使用简单约束来匹配事件内容，难以支持事件复合匹配．针对......
文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自......
针对传统算法求解动态拓扑网络可靠度会对没有受到拓扑变化影响的最小路集进行重新计算的问题,在Kuo的边扩展算法基础上,提出一种......
对称是逻辑综合、逻辑优化以及映像技术领域中一个非常重要的性质.对于对称函数,可以使用特殊的逻辑综合程序来改进设计结果.使用......
总结了进行网络可靠性分析的一般步骤，比较了传统的网络分析方法的优缺点，重点论述了一种基于有序二叉决策图的方法，在考虑失效节点的......
“离散教学”是计算机专业的核心课程，是研究计算机科学的数学理论基础。有序二叉决策图（OBDD-Ordered Binary Decision Diagram）是描......
为快速确定含分布式电源(DG)配电网故障恢复的最优方案,首先,提出了基于改进Bellman-Ford算法的含多DG配电网孤岛划分图论模型,该......
随着图像信息的大量存储和传输,图像压缩技术的研究越来越深入。分析现有的无损图像压缩技术——基于统计概率方法、基于字典编码......
